Nuprl Definition : retracer
11,40
postcript
pdf
retracer(
p
)(
e'
) == ((
p
.2.2)(
e'
)).1
latex
Definitions
x
.
A
(
x
)
,
t
.1
,
f
(
a
)
,
t
.2
FDL editor aliases
retracer
origin
x.A(x)x.A(x)